Zaikin Oleg S. «Preimage attack on round-reduced Skein-512-256 compression function using SAT solver» // Applied Discrete Mathematics 2026. №71 C.97-111
Gribanova I. A. «Application of solving sat algorithms to constructing differential paths for finding collisions of cryptographic hash functions in the MD family» // Applied Discrete Mathematics. Supplement 2016. №9 C.129-132